21 Ergebnisse - Zeige 1 von 20.

Computer aided verification (CAV) refers to the practice and theory of computer-assisted formal analysis of software and hardware systems. The purpose of formal verification is to increase the dependability and safety of software and hardware systems. CAV derives concepts and findings from logic, automata theory and graph theory, and combines theoretical and experimental aspects. Research in this field encompasses model checking, automated the...

Computer aided verification is a branch of computer science that focuses on creating tools and techniques to help programmers in verifying whether the software designed by them works correctly or not. These tools are being incorporated in the system design of firms. Computer aided verification strives to improve the quality of digital systems through the analysis of software designs using logical reasoning and software tools. The goal is to cr...

Hina is very excited for her first plane flight!E rangi n ingainga Hina nakon moan kibana n te waanikiba.Your purchase of this book supports Library For All in its mission to make knowledge available to all, equally.

Litsa and her dad need to find the perfect gift for Mother's Day!A tangiria Litsa ma tamana ni kakaaea aia bwaintangira ae e tamaaroa ibukin aia bong tiina.Your purchase of this book supports Library For All in its mission to make knowledge available to all, equally.

Keine Beschreibung.

Keine Beschreibung.

Hina is very excited for her first plane flight!¿Your purchase of this book supports Library For All in its mission to make knowledge available to all, equally.

Boko woke up in the middle of the night. He had felt the house shake. He was sure of it!¿Your purchase of this book supports Library For All in its mission to make knowledge available to all, equally.

Keine Beschreibung.

Forbidden Dancer is a collection of poems from Papua New Guinea. It celebrates Papua New Guinean culture and heritage. It also explores the meaning of love, life, identity, culture, modernity, politics and corruption. The poems are based on the author's experiences, reflections, perspectives, feelings, emotions, dreams, aspirations and every day issues - issues little felt, nor important yet continue to affect us as individuals and as a society.

Boko woke up in the middle of the night. He had felt the house shake. He was sure of it! This is an informative graphic novel about earthquakes for 8 to 12 year old readers, from Library For All's Natural Hazards series. Every book purchased helps Library For All make a difference to the lives of children around the world.

Petra the piglet wants to play with friends but she's worried her hair will get dirty! What will she do? This is a beautifully illustrated book for 4-8 year old readers. Proceeds from this sale benefit nonprofit organisation Library For All, helping children around the world learn to read.

This is Rose. She lives in the Tobriand Islands, Papua New Guinea. The I Am PNG series introduces readers to children from all around Papua New Guinea. This is a beautifully illustrated book for 4-8 year old readers. Proceeds from this sale benefit nonprofit organisation Library For All, helping children around the world learn to read.

Charlie is a kind cockatoo, but when he visits town with his family he learns that not everyone is as kind as him. This is a beautifully illustrated book for 4-8 year old readers. Proceeds from this sale benefit nonprofit organisation Library For All, helping children around the world learn to read.

Litsa and her dad need to find the perfect gift for Mother's Day! This is a beautifully illustrated book for 4-8 year old readers. Proceeds from this sale benefit nonprofit organisation Library For All, helping children around the world learn to read.

Hina is very excited for her first plane flight! This is a beautifully illustrated book for 4-8 year old readers. Proceeds from this sale benefit nonprofit organisation Library For All, helping children around the world learn to read.

Manoa is so excited to go on his first Kula Trade trip. He must help prepare for the journey, eat a good breakfast and say goodbye to his mother. This is a beautifully illustrated book for 4-8 year old readers. Proceeds from this sale benefit nonprofit organisation Library For All, helping children around the world learn to read.

It is Kurabi's birthday and his family is preparing a traditional meal called a mumu. They will use hot stones and banana leaves to cool a delicious dinner! This is a beautifully illustrated book for 4-8 year old readers. Proceeds from this sale benefit nonprofit organisation Library For All, helping children around the world learn to read.

Manoa has enjoyed his first Kula Trade trip. Now they will return home and celebrate with a feast! This is a beautifully illustrated book for 4-8 year old readers. Proceeds from this sale benefit nonprofit organisation Library For All, helping children around the world learn to read.

A little ebony tree is looking for tree friends, but the other trees do not want to play. Lucky for him, friends can sometimes be found in unexpected places. This is a beautifully illustrated book for 4-8 year old readers. Proceeds from this sale benefit nonprofit organisation Library For All, helping children around the world learn to read.